#include <stdio.h>
int main()
{
	int num[10],*ptr=num;
	int n=10,i,j,k;
	for(i=0;i<10;i++)
		scanf("%d",ptr+i);
	k=0;
	for(i=0;i<10;i++)
	{
		for(j=0;j<i;j++)
			if(num[j]==num[i])
				break;
		if(i==j)
		{
			num[k]=num[i];
			k++;
		}
	}
	n=k;
	for(i=0;i<n;i++)
		printf("%d ",ptr[i]);
	return 0;
}
